# name: \begin{lemma}...\end{lemma}
# --
\begin{definition}
  \label{def:$1}
  $0
\end{definition}
